
import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;


import junit.framework.TestCase;
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;

/***
 * 
 * Head comment
 * */
public class ReWriteRepetitiveUnitTests extends TestCase {
	@TestSketch
	public void simpleExhaust() {
		TreeMap map = new TreeMap();
		Integer v = Values.choose(1, 2, 3, 4);
		{/*@Exhaust*/
		    map.put(v);
		}
	}
}
